Reasoning about Typicality with Low Complexity Description Logics: The Logic EL+^T
نویسندگان
چکیده
We present an extension of the low complexity Description Logic EL+ for reasoning about prototypical properties and inheritance with exceptions. We add to EL+ a typicality operator T, which is intended to select the “most normal” instances of a concept. In the resulting logic, called EL+T, the knowledge base may contain subsumption relations of the form “T(C) is subsumed by P”, expressing that typical C-members have the property P . We show that the problem of entailment in EL+T is in co-NP by proving a small model result.
منابع مشابه
Reasoning about typicality with low complexity Description Logics: the logic EL
We present an extension of the low complexity Description Logic EL ⊥ for reasoning about prototypical properties and inheritance with exceptions. We add to EL ⊥ a typicality operator T, which is intended to select the “most normal” instances of a concept. In the resulting logic, called EL ⊥ T, the knowledge base may contain subsumption relations of the form “T(C) is subsumed by P”, expressing t...
متن کاملReasoning about Typicality in Low Complexity DLs: The Logics EL⊥Tmin and DL-Litec Tmin
We propose a nonmonotonic extension of low complexity Description Logics EL⊥ and DL-Litecore for reasoning about typicality and defeasible properties. The resulting logics are called EL⊥Tmin and DL-LitecTmin. Concerning DL-LitecTmin, we prove that entailment is in Πp2. With regard to EL⊥Tmin, we first show that entailment remains EXPTIME-hard. Next we consider the known fragment of Left Local E...
متن کاملReasoning About Typicality in ALC and EL
In this work we summarize our recent results on extending Description Logics for reasoning about prototypical properties and inheritance with exceptions. First, we focus our attention on the logic ALC. We present a nonmonotonic logic ALC + Tmin, which is built upon a monotonic logic ALC+T obtained by adding a typicality operator T to ALC. The operator T is intended to select the “most normal” o...
متن کاملPreferential Low Complexity Description Logics: Complexity Results and Proof Methods
In this paper we describe an approach for reasoning about typicality and defeasible properties in low complexity preferential Description Logics. We describe the non-monotonic extension of the low complexity DLs EL and DL-Litecore based on a typicality operator T, which enjoys a preferential semantics. We summarize complexity results for such extensions, called EL⊥Tmin and DL-LitecTmin. Entailm...
متن کاملPrototypical Reasoning with Low Complexity Description Logics: Preliminary Results
We present an extension EL ⊥ T of the description logic EL ⊥ for reasoning about prototypical properties and inheritance with exceptions. EL ⊥ T is obtained by adding to EL ⊥ a typicality operator T, which is intended to select the “typical” instances of a concept. In EL ⊥ T knowledge bases may contain inclusions of the form “T(C) is subsumed by P”, expressing that typical C-members have the pr...
متن کامل